Transmission Lines Transmission Lines Fabric Port
نویسنده
چکیده
We describe our experiences verifying real communications hardware using machine-assisted proof. In particular we re ect on the errors found, problems encountered and the bottlenecks that slowed the progress of the proofs. We also note techniques which would alleviate the problems. Most of the problems we discuss only become signi cant when large designs are veri ed.
منابع مشابه
Transmission switching cost modeling and determination candidate Lines for participation in joint energy and reserve markets
There is a great resolution calling for smart grids in recent years. Introduction of new technologies, that make the network flexible and controllable, is a main part of smart grid concept and a key factor to its success. Transmission network as a part of system network has drawn less attention. Transmission switching as a transmission service can release us from load shedding and remove the co...
متن کامل3D Detection of Power-Transmission Lines in Point Clouds Using Random Forest Method
Inspection of power transmission lines using classic experts based methods suffers from disadvantages such as highel level of time and money consumption. Advent of UAVs and their application in aerial data gathering help to decrease the time and cost promenantly. The purpose of this research is to present an efficient automated method for inspection of power transmission lines based on point c...
متن کاملSpice Compatible Model for Multiple Coupled Nonuniform Transmission Lines Application in Transient Analysis of VLSI Circuits
An SPICE compatible model for multiple coupled nonuniform lossless transmission lines (TL's) is presented. The method of the modeling is based on the steplines approximation of the nonuniform TLs and quasi-TEM assumptions. Using steplines approximation the system of coupled nonuniform TLs is subdivided into arbitrary large number of coupled uniform lines (steplines) with different characteristi...
متن کاملFault Location on Compensated Transmission Lines without Current Measurement
This paper presents a novel fault location method for series compensated transmission lines. It is established based on synchronized voltages sampling and Thevenin impedance from both ends of series compensated transmission line. The method is based on the use of phasor measurement units (PMU) technology which is aimed to be independent of current measurements, fault type, fault resistance, fau...
متن کاملTransmission expansion planning based on merchandizing surplus of transmission lines
This paper proposes an optimal transmission expansion planning (TEP) which is based on determining share of each line in merchandizing surplus (MS) of system, determining by Independent System Operator (ISO). The more share of a line in MS of system denotes the priority of a line for expansion. The procedure of determining MS of each line in a power system is based on determining the MS share o...
متن کامل